Practice meets theory
نویسندگان
چکیده
منابع مشابه
Satisfiability: where Theory meets Practice∗
Propositional Satisfiability (SAT) is a keystone in the history of computer science. SAT was the first problem shown to be NP-complete in 1971 by Stephen Cook [4]. Having passed more than 40 years from then, SAT is now a lively research field where theory and practice have a natural intermixing. In this talk, we overview the use of SAT in practical domains, where SAT is thought in a broad sense...
متن کاملDeductive Databases - Theory Meets Practice
Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through declarative logic-based languages. Building on solid theoretical foundations, the field has benefited in the recent years form dramatic advances in the enabling technology. This progress is demonstrated by the completion ...
متن کاملRandom Constraint Satisfaction: Theory Meets Practice
We study the experimental consequences of a recent theoretical result by Achlioptas et al. that shows that conventional models of random problems are trivially insoluble in the limit. We survey the literature to identify experimental studies that lie within the scope of this result. We then estimate theoretically and measure experimentally the size at which problems start to become trivially in...
متن کاملPlatelet pool inventory management: theory meets practice.
BACKGROUND The shelf life of platelet concentrates (PCs) is a matter of days. Simultaneously, the demand is highly variable, shortages are not allowed, and producing too many results in outdating. Concurrently, younger PCs, implying an extended time till outdating (TTO), are preferred. Common PC inventory management relies on experience-based order-up-to rules. This study aimed at minimizing ou...
متن کاملGraph Modelling and Transformation: Theory meets Practice
In this paper, we focus on the role of graphs and graph transformation for four practical application areas from software system development. We present the typical problems in these areas and investigate how the respective systems are modelled by graphs and graph transformation. In particular, we are interested in the usefulness of theoretical graph transformation results and graph transformat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Academic Medicine
سال: 1978
ISSN: 1040-2446
DOI: 10.1097/00001888-197811000-00005